An example of performance evaluation by using the stochastic process algebra: ROSA

A Software Performance Evaluation Approach Using Stochastic Process Algebra Tools

In this paper we present an integrated approach to the functional and performance analysis of software modeling provided by Stochastic Process Algebra (SPA). Three SPA languages have been appeared in the last decade and are widely used for software architecture and performance evaluation. We present these languages with the difference between them and we show by an example the methodology which...

An Efficient Algorithm for Aggregating PEPA Models

ÐPerformance Evaluation Process Algebra (PEPA) is a formal language for performance modeling based on process algebra. It has previously been shown that, by using the process algebra apparatus, compact performance models can be derived which retain the essential behavioral characteristics of the modeled system. However, no efficient algorithm for this derivation was given. In this paper, we pre...

New Solutions for Fokker-Plank Equation of‎ ‎Special Stochastic Process via Lie Point Symmetries

‎In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process‎. ‎This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process‎.

Specification and Performance of the MPEG-2 Video Encoder by Using the Stochastic Process Algebra: ROSA

Product form solution for an insensitive stochastic process algebra structure

Recent research has investigated ways in which generally distributed random variables may be incorporated into stochastic process algebra. These proposals allow the arbitrary use of such variables, improving expressibility, but in general this makes performance evaluation difficult. Typically, simulation techniques must be employed. We attack the goal of generally distributed random variables f...